Structured Programming
日本語: 構造化プログラミング
by エドガー・ダイクストラ
一言
いわゆるモジュール機能のこと
Wikipedia
https://en.wikipedia.org/wiki/Structured_programming
https://ja.wikipedia.org/wiki/構造化プログラミング
大まかな定義
三つの構造化文
いわゆる GOTO-less
大体は構造化定理
一般にある誤解
本当は形式手法の走りだった
数学的プログラミング
ただ現状の産業界では、科学的検証で十分としている
博物学
Java
package
Rust
creat
C
?
Go
?
ECMAScript
import/export
file 単位
Python
概ね file/dir 単位
import lib
https://docs.python.org/ja/3/reference/import.html
Ruby
gem
require 'gem'
file
require_relative 'filepath'
Haskell
package manager
cabal
stack
Module
Elixir
package manager
mix
Module
https://hexdocs.pm/elixir/Module.html
https://elixirschool.com/ja/lessons/basics/modules/